Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
921	Directed Unfolding of Petri Nets Blai Bonet1 , Patrik Haslum2 , Sarah Hickmott3 , and Sylvie Thi´ebaux2 1 2 Universidad Sim´ Add to Reading List Source URL: goanna.cs.rmit.edu.au Language: English - Date: 2010-01-13 00:16:18 Diagrams Petri net Computer science Formal methods Priority queue XTR Unfolding Algorithm Admissible heuristic Models of computation Mathematics Concurrency
922	Application of ILP/RDM to Bioinformatics n n Add to Reading List Source URL: www-ai.ijs.si Language: English - Date: 2002-08-29 07:04:36 Formal sciences Bioinformatics Genomics Protein methods Protein structure Protein structure prediction Drug design Structure–activity relationship Machine learning Science Biology Medicinal chemistry
923	Oracle User Productivity Kit Drastically Reduce Project Hours and Ensure the Right Software Solution and Seamless User Adoption Oracle User Productivity Kit (UPK) automatically creates your Add to Reading List Source URL: www.pcfltd.co.uk Language: English - Date: 2012-07-26 06:22:58 Oracle Database Oracle Corporation Simulation Software development process Oracle Applications Software Formal methods Cross-platform software
924	Quality Assurance for TDWG Standards and Software Introduction Software products, including software standards, can fail due to (1) complexity prevents completion, (2) the features change until resources are exhausted, ( Add to Reading List Source URL: wiki.tdwg.org Language: English - Date: 2007-11-05 06:35:31 Formal methods Software project management Software requirements Software testing Methodology Software development process Test plan Requirement Quality assurance Software development Business Technology
925	Embedded Software Business Unit OAK SYSTEMS is a boutique Independent Software V & V and Testing Company headquartered in Bangalore, India and has been helping clients globally providing quality software solutions and se Add to Reading List Source URL: oaksys.net Language: English - Date: 2013-04-05 08:27:36 Technology Formal methods Software quality Software engineering Evaluation Quality assurance Software development process DO-178B Verification and validation Software development Software testing Computing
926	CIBB 2015: 12th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CNR Research Area, Naples Add to Reading List Source URL: bioinfo.na.iac.cnr.it Language: English - Date: 2015-04-14 11:55:59 Applied mathematics Lasso Bioinformatics Science Biology Machine learning Regularization Formal sciences
927	The RUPple Effect Richard Tanner-Tremaine, Dunstan Thomas Consulting http://consulting.dthomas.co.uk RUP is just one of many acronyms and buzzwords that can strike fear into the heart of even the bravest souls in the sof Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:35 Software project management Formal methods IBM Rational Unified Process Unified Process Agile software development Unified Modeling Language Rational Software Software development methodology P-Modeling Framework Software development Software Software development process
928	More RUP Anti-patterns Dr Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk A recent article written by Julia Filho from Black Diamond Software (www.bds.com) - .pdf available from Rational web site Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:34 Software project management Formal methods Management Project management IBM Rational Unified Process Iterative and incremental development Software development methodology Gantt chart Iteration Software development Software Software development process
929	White Paper Software Quality Management What is it and how can it be achieved ? Successfully driving business value from software quality management is imperative for many large organizations today. Add to Reading List Source URL: www.ezsource.com Language: English - Date: 2014-03-20 05:44:24 Computing Software development Anticipatory thinking Software quality Source code Software development process Quality assurance Application Portfolio Management Quality management Information technology management Formal methods Software engineering
930	An End to Methodology Wars? Dr Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk Until recently, if you were to ask most professional developers what Development Methodology they used you would prob Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:33 Software project management Formal methods Software engineering IBM Rational Unified Process Unified Process Object-oriented programming Software development methodology Dynamic systems development method Unified Modeling Language Software development Software Software development process

UPDATE